((in public indoor pool))